Causally simple inextendible spacetimes are hole-free

It is shown that causally simple inextendible spacetimes are hole-free, thus confirming the expectation that causal simplicity removes holes from spacetime. This result is optimal in the sense that causal simplicity cannot be weakened to causal continuity. Physically, it means that if there is some partial Cauchy hypersurface which, for some reason, does not fully develop its influence, then there is some discontinuity in the causal relation.Comment: Revtex4, 9 pages. v2: minor correction

No time machines in classical general relativity

Irrespective of local conditions imposed on the metric, any extendible spacetime U has a maximal extension containing no closed causal curves outside the chronological past of U. We prove this fact and interpret it as impossibility (in classical general relativity) of the time machines, insofar as the latter are defined to be causality-violating regions created by human beings (as opposed to those appearing spontaneously).Comment: A corrigendum (to be published in CQG) has been added to correct an important mistake in the definition of localit

Symmetries for Quantum Theory

Five conceptually distinct notions of symmetry in quantum theory are studied in the algebraic setting where a quantum system is characterized by a von Neumann algebra of observables and the set of normal states on the algebra. It is shown that all five symmetry notions are closely related and that the glue binding them together is the concept of a Jordan ∗-automorphism. For factor algebras a Jordan ∗-automorphism reduces either to an ∗-automorphism or a ∗-anti-automorphism. If the algebra is put in standard form then a ∗-automorphism is always unitarily implementable, whereas a ∗-anti-automorphism is always anti-unitarily implementable. However, there is no guarantee that a general von Neumann algebra admits ∗-anti-automorphisms or, if it does, that it admits order two (or involutory) ∗-anti-automorphisms). For non-factor algebras there can be genuine Jordan ∗-automorphisms that are neither ∗-automorphisms nor ∗-anti-automorphisms, and implementation is possible only through partial isometries. These developments enable generalized versions of Wigner's theorem on the implementation of transition probability preserving symmetries for von Neumann algebras. This review is largely an exercise in connecting the dots in existing mathematics and physics literature. But in the service of the philosophy of physics it is an exercise worth doing since the practitioners in this field seem largely unaware of or unappreciative of this literature and how it fits together to yield a multifaceted but unified picture of quantum symmetries. Along the way various interpretations issues worthy of further discussion are flagged

Believing the Unbelievable

Bayesian personalism models learning from experience as the updating of an agent's credence function on the information the agent acquires. The standard updating rules are hamstrung for zero probability events. The maneuvers that have been proposed to handle this problem are examined and found wanting: they offer only temporary relief but no satisfying and stable long term resolution. They do suggest a strategy for avoiding the problem altogether, but the price to be paid is a very crabbed account of learning from experience. I outline what Bayesians would need to do in order to come to grips with the problem rather than seeking to avoid it. Furthermore, I emphasize that an adequate treatment of the issues must work not only for classical probability but also for quantum probability as well, the latter of which is rarely discussed in the philosophical literature in the same breath with the updating problem. Since it is not obvious how the maneuvers applied to updating classical probability can be made to work for updating quantum probability a rethinking of the problem may be required. At the same time I indicate that in some special cases quantum probability theory has a self-contained solution to the problem of updating on zero probability events requiring no additional technical devices or rationality constraints

Closed Timelike Curves in Relativistic Computation

In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs.Comment: 17 pages, 5 figure

Assessment of hydrologic transport of radionuclides from the Rio Blanco underground nuclear test site, Colorado

DOE is operating an environmental restoration program to characterize, remediate, and close non-Nevada Test Site locations used for nuclear testing. Evaluation of radionuclide transport by groundwater is part of preliminary risk analysis. These evaluations allow prioritization of test areas in terms of risk, provide a basis for discussions with regulators and the public about future work, and provide a framework for assessing site characterization data needs. The Rio Blanco site in Colorado was the location of the simultaneous detonation of three 30-kiloton nuclear devices. The devices were located 1780, 1899, and 2039 below ground surface in the Fort Union and Mesaverde formations. Although all the bedrock formations at the site are thought to contain water, those below the Green River Formation (below 1000 in depth) are also gas-bearing, and have very low permeabilities. The transport scenario evaluated was the migration of radionuclides from the blast-created cavity through the Fort Union Formation. Transport calculations were performed using the solute flux method, with input based on the limited data available for the site. Model results suggest that radionuclides from the test are contained entirely within the area currently administered by DOE. This modeling was performed to investigate how the uncertainty in various physical parameters affect radionuclide transport at the site, and to serve as a starting point for discussion regarding further investigation; it was not intended to be a definitive simulation of migration pathways or radionuclide concentration values. Given the sparse data, the modeling results may differ significantly from reality. Confidence in transport predictions can be increased by obtaining more site data, including the amount of radionuclides which would have been available for transport (i.e., not trapped in melt glass or vented during gas flow testing), and the hydraulic properties of the formation. 38 refs., 6 figs., 1 tab

Duality and ontology

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature

Assessment of hydrologic transport of radionuclides from the Gasbuggy underground nuclear test site, New Mexico

The U.S. Department of Energy (DOE) is operating an environmental restoration program to characterize, remediate, and close non-Nevada Test Site locations that were used for nuclear testing. Evaluation of radionuclide transport by groundwater from these sites is an important part of the preliminary risk analysis. These evaluations are undertaken to allow prioritization of the test areas in terms of risk, provide a quantitative basis for discussions with regulators and the public about future work at the sites, and provide a framework for assessing data needs to be filled by site characterization. The Gasbuggy site in northwestern New Mexico was the location of an underground detonation of a 29-kiloton nuclear device in 1967. The test took place in the Lewis Shale, approximately 182 m below the Ojo Alamo Sandstone, which is the aquifer closest to the detonation horizon. The conservative assumption was made that tritium was injected from the blast-created cavity into the Ojo Alamo Sandstone by the force of the explosion, via fractures created by the shot. Model results suggest that if radionuclides produced by the shot entered the Ojo Alamo, they are most likely contained within the area currently administered by DOE. The transport calculations are most sensitive to changes in the mean groundwater velocity, followed by the variance in hydraulic conductivity, the correlation scale of hydraulic conductivity, the transverse hydrodynamic dispersion coefficient, and uncertainty in the source size. This modeling was performed to investigate how the uncertainty in various physical parameters affects calculations of radionuclide transport at the Gasbuggy site, and to serve as a starting point for discussion regarding further investigation at the site; it was not intended to be a definitive simulation of migration pathways or radionuclide concentration values

GPS observables in general relativity

I present a complete set of gauge invariant observables, in the context of general relativity coupled with a minimal amount of realistic matter (four particles). These observables have a straightforward and realistic physical interpretation. In fact, the technology to measure them is realized by the Global Positioning System: they are defined by the physical reference system determined by GPS readings. The components of the metric tensor in this physical reference system are gauge invariant quantities and, remarkably, their evolution equations are local.Comment: 6 pages, 1 figure, references adde

Is Quantum Mechanics Compatible with an Entirely Deterministic Universe?

A b s t r a c t It will be argued that 1) the Bell inequalities are not equivalent with those inequalities derived by Pitowsky and others that indicate the Kolmogorovity of a probability model, 2) the original Bell inequalities are irrelevant to both the question of whether or not quantum mechanics is a Kolmogorovian theory as well as the problem of determinism, whereas 3) the Pitowsky type inequalities are not violated by quantum mechanics, hence 4) quantum mechanics is a Kolmogorovian probability theory, therefore, 5) it is compatible with an entirely deterministic universe.Comment: 15 pages, (compressed and uuencoded) Postscript (188 kb), preprint 94/0